mathematics of logic математическая логика

См. также в других словарях:

• ЛОГИКА СИМВОЛИЧЕСКАЯ —     ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому …   Философская энциклопедия

• Логика второго порядка — в математической логике  формальная система, расширяющая логику первого порядка[1] возможностью квантификации общности и существования не только над атомами, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В… …   Википедия

• Логика Хоара — (англ. Hoare logic, также Floyd Hoare logic, или Hoare rules)  формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в… …   Википедия

• Логика — (греч. logike̅́)         наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л …   Большая советская энциклопедия

• ФИЛОСОФСКАЯ ЛОГИКА — название, используемое иногда для обозначения разнообразных приложений идей и аппарата современной формальной логики для анализа понятий и проблем философии. Хотя формальная логика еще в 19 в. отделилась («отпочковалась») от философии и перестала …   Философская энциклопедия

• КОНСТРУКТИВНАЯ ЛОГИКА — раздел математической логики, изучающий рассуждения о конструктивных объектах и конструкциях. При таком понимании К. л. шире, чем логика конструктивной математики. Самое заметное отличие от традиционной (классической) логики состоит в отсутствии… …   Математическая энциклопедия

• Десятая проблема Гильберта — Десятая проблема Гильберта  одна из 23 задач, которые Давид Гильберт предложил 8 августа 1900 года на II Международном конгрессе математиков. Она состоит в нахождении универсального метода целочисленного решения произвольного алгебраического …   Википедия

• НОМИНАЛИЗМ — (от лат. nomen имя, название) филос. учение, отрицающее онтологическое значение универсалий (общих понятий), т.е. утверждающее, что универсалии существуют не в действительности, а только в мышлении. В Средние века Н. был одним из течений… …   Философская энциклопедия

• Шейнфинкель, Моисей Эльевич — Моисей Эльевич Шейнфинкель …   Википедия

• АБСТРАКЦИЯ — (от лат. abstractio отвлечение, отделение) процесс мысленного отвлечения одних свойств и отношений вещей и явлений от других. А. отождествления выделяет общее свойство объектов путем установления отношения эквивалентности или равенства между ними …   Философская энциклопедия

• Теория категорий — Теория категорий  раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Теория категорий занимает центральное место в современной математике[1], она также нашла… …   Википедия